# Check 64bit APX_F instructions with evex pseudo prefix

	.text
_start:
	{evex} aadd	%r15,0x123(%r8,%rax,4)
	{evex} aadd	%r15d,0x123(%r8,%rax,4)
	{evex} aand	%r15,0x123(%r8,%rax,4)
	{evex} aand	%r15d,0x123(%r8,%rax,4)
	{evex} adc	$0x7b,%r15
	{evex} adc	$0x7b,%r15d
	{evex} adc	$0x7b,%r15w
	{evex} adc	$0x7b,%r8b
	{evex} adcb	$0x7b,0x123(%r8,%rax,4)
	{evex} adcw	$0x7b,0x123(%r8,%rax,4)
	{evex} adcl	$0x7b,0x123(%r8,%rax,4)
	{evex} adcq	$0x7b,0x123(%r8,%rax,4)
	{evex} adc	%r15,%r15
	{evex} adc	%r15,0x123(%r8,%rax,4)
	{evex} adc	%r15d,%edx
	{evex} adc	%r15d,0x123(%r8,%rax,4)
	{evex} adc	%r15w,%ax
	{evex} adc	%r15w,0x123(%r8,%rax,4)
	{evex} adc	%r8b,%dl
	{evex} adc	%r8b,0x123(%r8,%rax,4)
	{evex} adc	0x123(%r8,%rax,4),%r15
	{evex} adc	0x123(%r8,%rax,4),%r15d
	{evex} adc	0x123(%r8,%rax,4),%r15w
	{evex} adc	0x123(%r8,%rax,4),%r8b
	{evex} adcx	%r15,%r15
	{evex} adcx	%r15d,%edx
	{evex} adcx	0x123(%r8,%rax,4),%r15
	{evex} adcx	0x123(%r8,%rax,4),%r15d
	{evex} add	$0x7b,%r15
	{evex} add	$0x7b,%r15d
	{evex} add	$0x7b,%r15w
	{evex} add	$0x7b,%r8b
	{evex} addb	$0x7b,0x123(%r8,%rax,4)
	{evex} addw	$0x7b,0x123(%r8,%rax,4)
	{evex} addl	$0x7b,0x123(%r8,%rax,4)
	{evex} addq	$0x7b,0x123(%r8,%rax,4)
	{evex} add	%r15,%r15
	{evex} add	%r15,0x123(%r8,%rax,4)
	{evex} add	%r15d,%edx
	{evex} add	%r15d,0x123(%r8,%rax,4)
	{evex} add	%r15w,%ax
	{evex} add	%r15w,0x123(%r8,%rax,4)
	{evex} add	%r8b,%dl
	{evex} add	%r8b,0x123(%r8,%rax,4)
	{evex} add	0x123(%r8,%rax,4),%r15
	{evex} add	0x123(%r8,%rax,4),%r15d
	{evex} add	0x123(%r8,%rax,4),%r15w
	{evex} add	0x123(%r8,%rax,4),%r8b
	{evex} adox	%r15,%r15
	{evex} adox	%r15d,%edx
	{evex} adox	0x123(%r8,%rax,4),%r15
	{evex} adox	0x123(%r8,%rax,4),%r15d
	{evex} and	$0x7b,%r15
	{evex} and	$0x7b,%r15d
	{evex} and	$0x7b,%r15w
	{evex} and	$0x7b,%r8b
	{evex} andb	$0x7b,0x123(%r8,%rax,4)
	{evex} andw	$0x7b,0x123(%r8,%rax,4)
	{evex} andl	$0x7b,0x123(%r8,%rax,4)
	{evex} andq	$0x7b,0x123(%r8,%rax,4)
	{evex} and	%r15,%r15
	{evex} and	%r15,0x123(%r8,%rax,4)
	{evex} and	%r15d,%edx
	{evex} and	%r15d,0x123(%r8,%rax,4)
	{evex} and	%r15w,%ax
	{evex} and	%r15w,0x123(%r8,%rax,4)
	{evex} and	%r8b,%dl
	{evex} and	%r8b,0x123(%r8,%rax,4)
	{evex} and	0x123(%r8,%rax,4),%r15
	{evex} and	0x123(%r8,%rax,4),%r15d
	{evex} and	0x123(%r8,%rax,4),%r15w
	{evex} and	0x123(%r8,%rax,4),%r8b
	{evex} andn	%r15,%r15,%r11
	{evex} andn	%r15d,%edx,%r10d
	{evex} andn	0x123(%r8,%rax,4),%r15,%r15
	{evex} andn	0x123(%r8,%rax,4),%r15d,%edx
	{evex} aor	%r15,0x123(%r8,%rax,4)
	{evex} aor	%r15d,0x123(%r8,%rax,4)
	{evex} axor	%r15,0x123(%r8,%rax,4)
	{evex} axor	%r15d,0x123(%r8,%rax,4)
	{evex} bextr	%r15,%r15,%r11
	{evex} bextr	%r15,0x123(%r8,%rax,4),%r15
	{evex} bextr	%r15d,%edx,%r10d
	{evex} bextr	%r15d,0x123(%r8,%rax,4),%edx
	{evex} blsi	%r15,%r15
	{evex} blsi	%r15d,%edx
	{evex} blsi	0x123(%r8,%rax,4),%r15
	{evex} blsi	0x123(%r8,%rax,4),%r15d
	{evex} blsmsk	%r15,%r15
	{evex} blsmsk	%r15d,%edx
	{evex} blsmsk	0x123(%r8,%rax,4),%r15
	{evex} blsmsk	0x123(%r8,%rax,4),%r15d
	{evex} blsr	%r15,%r15
	{evex} blsr	%r15d,%edx
	{evex} blsr	0x123(%r8,%rax,4),%r15
	{evex} blsr	0x123(%r8,%rax,4),%r15d
	{evex} bzhi	%r15,%r15,%r11
	{evex} bzhi	%r15,0x123(%r8,%rax,4),%r15
	{evex} bzhi	%r15d,%edx,%r10d
	{evex} bzhi	%r15d,0x123(%r8,%rax,4),%edx
	{evex} cmpbexadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpbexadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpbxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpbxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmplexadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmplexadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmplxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmplxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpnbexadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpnbexadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpnbxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpnbxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpnlexadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpnlexadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpnlxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpnlxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpnoxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpnoxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpnpxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpnpxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpnsxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpnsxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpnzxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpnzxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpoxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpoxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmppxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmppxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpsxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpsxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} cmpzxadd	%r15,%r15,0x123(%r8,%rax,4)
	{evex} cmpzxadd	%r15d,%edx,0x123(%r8,%rax,4)
	{evex} dec	%r15
	{evex} dec	%r15d
	{evex} dec	%r15w
	{evex} dec	%r8b
	{evex} decb	0x123(%r8,%rax,4)
	{evex} decw	0x123(%r8,%rax,4)
	{evex} decl	0x123(%r8,%rax,4)
	{evex} decq	0x123(%r8,%rax,4)
	{evex} div	%r15
	{evex} div	%r15d
	{evex} div	%r15w
	{evex} div	%r8b
	{evex} divb	0x123(%r8,%rax,4)
	{evex} divw	0x123(%r8,%rax,4)
	{evex} divl	0x123(%r8,%rax,4)
	{evex} divq	0x123(%r8,%rax,4)
	{evex} enqcmd	0x123(%r8,%rax,4),%r15
	{evex} enqcmd	0x123(%r8d,%eax,4),%r15d
	{evex} enqcmds	0x123(%r8,%rax,4),%r15
	{evex} enqcmds	0x123(%r8d,%eax,4),%r15d
	{evex} idiv	%r15
	{evex} idiv	%r15d
	{evex} idiv	%r15w
	{evex} idiv	%r8b
	{evex} idivb	0x123(%r8,%rax,4)
	{evex} idivw	0x123(%r8,%rax,4)
	{evex} idivl	0x123(%r8,%rax,4)
	{evex} idivq	0x123(%r8,%rax,4)
	{evex} imul	%r15
	{evex} imul	%r15,%r15
	{evex} imul	%r15d
	{evex} imul	%r15d,%edx
	{evex} imul	%r15w
	{evex} imul	%r15w,%ax
	{evex} imul	%r8b
	{evex} imulb	0x123(%r8,%rax,4)
	{evex} imulw	0x123(%r8,%rax,4)
	{evex} imull	0x123(%r8,%rax,4)
	{evex} imul	0x123(%r8,%rax,4),%r15
	{evex} imul	0x123(%r8,%rax,4),%r15d
	{evex} imul	0x123(%r8,%rax,4),%r15w
	{evex} imulq	0x123(%r8,%rax,4)
	{evex} imul	$0x7b, %dx, %ax
	{evex} imul	$0x7b, %ecx, %edx
	{evex} imul	$0x7b, %r9, %r15
	{evex} imul	$0x7b, %r9
	{evex} imul	$0x7b, 291(%r8, %rax, 4), %dx
	{evex} imul	$0x7b, 291(%r8, %rax, 4), %ecx
	{evex} imul	$0x7b, 291(%r8, %rax, 4), %r9
	{evex} imul	$0xff90, %dx, %ax
	{evex} imul	$0xff90, %ecx, %edx
	{evex} imul	$0xff90, %r9, %r15
	{evex} imul	$0xff90, %r9
	{evex} imul	$0xff90, 291(%r8, %rax, 4), %dx
	{evex} imul	$0xff90, 291(%r8, %rax, 4), %ecx
	{evex} imul	$0xff90, 291(%r8, %rax, 4), %r9
	{evex} inc	%r15
	{evex} inc	%r15d
	{evex} inc	%r15w
	{evex} inc	%r8b
	{evex} incb	0x123(%r8,%rax,4)
	{evex} incw	0x123(%r8,%rax,4)
	{evex} incl	0x123(%r8,%rax,4)
	{evex} incq	0x123(%r8,%rax,4)
	{evex} invept	0x123(%r8,%rax,4),%r15
	{evex} invpcid	0x123(%r8,%rax,4),%r15
	{evex} invvpid	0x123(%r8,%rax,4),%r15
	{evex} kmovb	%k3,%k5
	{evex} kmovb	%k5,%r15d
	{evex} kmovb	%k5,0x123(%r8,%rax,4)
	{evex} kmovb	%r15d,%k5
	{evex} kmovb	0x123(%r8,%rax,4),%k5
	{evex} kmovd	%k3,%k5
	{evex} kmovd	%k5,%r15d
	{evex} kmovd	%k5,0x123(%r8,%rax,4)
	{evex} kmovd	%r15d,%k5
	{evex} kmovd	0x123(%r8,%rax,4),%k5
	{evex} kmovq	%k3,%k5
	{evex} kmovq	%k5,%r15
	{evex} kmovq	%k5,0x123(%r8,%rax,4)
	{evex} kmovq	%r15,%k5
	{evex} kmovq	0x123(%r8,%rax,4),%k5
	{evex} kmovw	%k3,%k5
	{evex} kmovw	%k5,%r15d
	{evex} kmovw	%k5,0x123(%r8,%rax,4)
	{evex} kmovw	%r15d,%k5
	{evex} kmovw	0x123(%r8,%rax,4),%k5
	{evex} lzcnt	%r15,%r15
	{evex} lzcnt	%r15d,%edx
	{evex} lzcnt	%r15w,%ax
	{evex} lzcnt	0x123(%r8,%rax,4),%r15
	{evex} lzcnt	0x123(%r8,%rax,4),%r15d
	{evex} lzcnt	0x123(%r8,%rax,4),%r15w
	{evex} movbe	%r15,0x123(%r8,%rax,4)
	{evex} movbe	%r15d,0x123(%r8,%rax,4)
	{evex} movbe	%r15w,0x123(%r8,%rax,4)
	{evex} movbe	0x123(%r8,%rax,4),%r15
	{evex} movbe	0x123(%r8,%rax,4),%r15d
	{evex} movbe	0x123(%r8,%rax,4),%r15w
	{evex} movdir64b	0x123(%r8,%rax,4),%r15
	{evex} movdir64b	0x123(%r8d,%eax,4),%r15d
	{evex} movdiri	%r15,0x123(%r8,%rax,4)
	{evex} movdiri	%r15d,0x123(%r8,%rax,4)
	{evex} mul	%r15
	{evex} mul	%r15d
	{evex} mul	%r15w
	{evex} mul	%r8b
	{evex} mulb	0x123(%r8,%rax,4)
	{evex} mulw	0x123(%r8,%rax,4)
	{evex} mull	0x123(%r8,%rax,4)
	{evex} mulq	0x123(%r8,%rax,4)
	{evex} mulx	%r15,%r15,%r11
	{evex} mulx	%r15d,%edx,%r10d
	{evex} mulx	0x123(%r8,%rax,4),%r15,%r15
	{evex} mulx	0x123(%r8,%rax,4),%r15d,%edx
	{evex} neg	%r15
	{evex} neg	%r15d
	{evex} neg	%r15w
	{evex} neg	%r8b
	{evex} negb	0x123(%r8,%rax,4)
	{evex} negw	0x123(%r8,%rax,4)
	{evex} negl	0x123(%r8,%rax,4)
	{evex} negq	0x123(%r8,%rax,4)
	{evex} not	%r15
	{evex} not	%r15d
	{evex} not	%r15w
	{evex} not	%r8b
	{evex} notb	0x123(%r8,%rax,4)
	{evex} notw	0x123(%r8,%rax,4)
	{evex} notl	0x123(%r8,%rax,4)
	{evex} notq	0x123(%r8,%rax,4)
	{evex} or	$0x7b,%r15
	{evex} or	$0x7b,%r15d
	{evex} or	$0x7b,%r15w
	{evex} or	$0x7b,%r8b
	{evex} orb	$0x7b,0x123(%r8,%rax,4)
	{evex} orw	$0x7b,0x123(%r8,%rax,4)
	{evex} orl	$0x7b,0x123(%r8,%rax,4)
	{evex} orq	$0x7b,0x123(%r8,%rax,4)
	{evex} or	%r15,%r15
	{evex} or	%r15,0x123(%r8,%rax,4)
	{evex} or	%r15d,%edx
	{evex} or	%r15d,0x123(%r8,%rax,4)
	{evex} or	%r15w,%ax
	{evex} or	%r15w,0x123(%r8,%rax,4)
	{evex} or	%r8b,%dl
	{evex} or	%r8b,0x123(%r8,%rax,4)
	{evex} or	0x123(%r8,%rax,4),%r15
	{evex} or	0x123(%r8,%rax,4),%r15d
	{evex} or	0x123(%r8,%rax,4),%r15w
	{evex} or	0x123(%r8,%rax,4),%r8b
	{evex} pdep	%r15,%r15,%r11
	{evex} pdep	%r15d,%edx,%r10d
	{evex} pdep	0x123(%r8,%rax,4),%r15,%r15
	{evex} pdep	0x123(%r8,%rax,4),%r15d,%edx
	{evex} pext	%r15,%r15,%r11
	{evex} pext	%r15d,%edx,%r10d
	{evex} pext	0x123(%r8,%rax,4),%r15,%r15
	{evex} pext	0x123(%r8,%rax,4),%r15d,%edx
	{evex} popcnt	%r15,%r15
	{evex} popcnt	%r15d,%edx
	{evex} popcnt	%r15w,%ax
	{evex} popcnt	0x123(%r8,%rax,4),%r15
	{evex} popcnt	0x123(%r8,%rax,4),%r15d
	{evex} popcnt	0x123(%r8,%rax,4),%r15w
	{evex} rcl	$0x7b,%r15
	{evex} rcl	$0x7b,%r15d
	{evex} rcl	$0x7b,%r15w
	{evex} rcl	$0x7b,%r8b
	{evex} rclb	$0x7b,0x123(%r8,%rax,4)
	{evex} rclw	$0x7b,0x123(%r8,%rax,4)
	{evex} rcll	$0x7b,0x123(%r8,%rax,4)
	{evex} rclq	$0x7b,0x123(%r8,%rax,4)
	{evex} rcl	$1,%r15
	{evex} rcl	$1,%r15d
	{evex} rcl	$1,%r15w
	{evex} rcl	$1,%r8b
	{evex} rclb	$1,0x123(%r8,%rax,4)
	{evex} rclw	$1,0x123(%r8,%rax,4)
	{evex} rcll	$1,0x123(%r8,%rax,4)
	{evex} rclq	$1,0x123(%r8,%rax,4)
	{evex} rcl	%cl,%r15
	{evex} rcl	%cl,%r15d
	{evex} rcl	%cl,%r15w
	{evex} rcl	%cl,%r8b
	{evex} rclb	%cl,0x123(%r8,%rax,4)
	{evex} rclw	%cl,0x123(%r8,%rax,4)
	{evex} rcll	%cl,0x123(%r8,%rax,4)
	{evex} rclq	%cl,0x123(%r8,%rax,4)
	{evex} rcr	$0x7b,%r15
	{evex} rcr	$0x7b,%r15d
	{evex} rcr	$0x7b,%r15w
	{evex} rcr	$0x7b,%r8b
	{evex} rcrb	$0x7b,0x123(%r8,%rax,4)
	{evex} rcrw	$0x7b,0x123(%r8,%rax,4)
	{evex} rcrl	$0x7b,0x123(%r8,%rax,4)
	{evex} rcrq	$0x7b,0x123(%r8,%rax,4)
	{evex} rcr	$1,%r15
	{evex} rcr	$1,%r15d
	{evex} rcr	$1,%r15w
	{evex} rcr	$1,%r8b
	{evex} rcrb	$1,0x123(%r8,%rax,4)
	{evex} rcrw	$1,0x123(%r8,%rax,4)
	{evex} rcrl	$1,0x123(%r8,%rax,4)
	{evex} rcrq	$1,0x123(%r8,%rax,4)
	{evex} rcr	%cl,%r15
	{evex} rcr	%cl,%r15d
	{evex} rcr	%cl,%r15w
	{evex} rcr	%cl,%r8b
	{evex} rcrb	%cl,0x123(%r8,%rax,4)
	{evex} rcrw	%cl,0x123(%r8,%rax,4)
	{evex} rcrl	%cl,0x123(%r8,%rax,4)
	{evex} rcrq	%cl,0x123(%r8,%rax,4)
	{evex} rol	$0x7b,%r15
	{evex} rol	$0x7b,%r15d
	{evex} rol	$0x7b,%r15w
	{evex} rol	$0x7b,%r8b
	{evex} rolb	$0x7b,0x123(%r8,%rax,4)
	{evex} rolw	$0x7b,0x123(%r8,%rax,4)
	{evex} roll	$0x7b,0x123(%r8,%rax,4)
	{evex} rolq	$0x7b,0x123(%r8,%rax,4)
	{evex} rol	$1,%r15
	{evex} rol	$1,%r15d
	{evex} rol	$1,%r15w
	{evex} rol	$1,%r8b
	{evex} rolb	$1,0x123(%r8,%rax,4)
	{evex} rolw	$1,0x123(%r8,%rax,4)
	{evex} roll	$1,0x123(%r8,%rax,4)
	{evex} rolq	$1,0x123(%r8,%rax,4)
	{evex} rol	%cl,%r15
	{evex} rol	%cl,%r15d
	{evex} rol	%cl,%r15w
	{evex} rol	%cl,%r8b
	{evex} rolb	%cl,0x123(%r8,%rax,4)
	{evex} rolw	%cl,0x123(%r8,%rax,4)
	{evex} roll	%cl,0x123(%r8,%rax,4)
	{evex} rolq	%cl,0x123(%r8,%rax,4)
	{evex} ror	$0x7b,%r15
	{evex} ror	$0x7b,%r15d
	{evex} ror	$0x7b,%r15w
	{evex} ror	$0x7b,%r8b
	{evex} rorb	$0x7b,0x123(%r8,%rax,4)
	{evex} rorw	$0x7b,0x123(%r8,%rax,4)
	{evex} rorl	$0x7b,0x123(%r8,%rax,4)
	{evex} rorq	$0x7b,0x123(%r8,%rax,4)
	{evex} ror	$1,%r15
	{evex} ror	$1,%r15d
	{evex} ror	$1,%r15w
	{evex} ror	$1,%r8b
	{evex} rorb	$1,0x123(%r8,%rax,4)
	{evex} rorw	$1,0x123(%r8,%rax,4)
	{evex} rorl	$1,0x123(%r8,%rax,4)
	{evex} rorq	$1,0x123(%r8,%rax,4)
	{evex} ror	%cl,%r15
	{evex} ror	%cl,%r15d
	{evex} ror	%cl,%r15w
	{evex} ror	%cl,%r8b
	{evex} rorb	%cl,0x123(%r8,%rax,4)
	{evex} rorw	%cl,0x123(%r8,%rax,4)
	{evex} rorl	%cl,0x123(%r8,%rax,4)
	{evex} rorq	%cl,0x123(%r8,%rax,4)
	{evex} rorx	$0x7b,%r15,%r15
	{evex} rorx	$0x7b,%r15d,%edx
	{evex} rorx	$0x7b,0x123(%r8,%rax,4),%r15
	{evex} rorx	$0x7b,0x123(%r8,%rax,4),%r15d
	{evex} sal	$0x7b,%r15
	{evex} sal	$0x7b,%r15d
	{evex} sal	$0x7b,%r15w
	{evex} sal	$0x7b,%r8b
	{evex} salb	$0x7b,0x123(%r8,%rax,4)
	{evex} salw	$0x7b,0x123(%r8,%rax,4)
	{evex} sall	$0x7b,0x123(%r8,%rax,4)
	{evex} salq	$0x7b,0x123(%r8,%rax,4)
	{evex} sal	$1,%r15
	{evex} sal	$1,%r15d
	{evex} sal	$1,%r15w
	{evex} sal	$1,%r8b
	{evex} salb	$1,0x123(%r8,%rax,4)
	{evex} salw	$1,0x123(%r8,%rax,4)
	{evex} sall	$1,0x123(%r8,%rax,4)
	{evex} salq	$1,0x123(%r8,%rax,4)
	{evex} sal	%cl,%r15
	{evex} sal	%cl,%r15d
	{evex} sal	%cl,%r15w
	{evex} sal	%cl,%r8b
	{evex} salb	%cl,0x123(%r8,%rax,4)
	{evex} salw	%cl,0x123(%r8,%rax,4)
	{evex} sall	%cl,0x123(%r8,%rax,4)
	{evex} salq	%cl,0x123(%r8,%rax,4)
	{evex} sar	$0x7b,%r15
	{evex} sar	$0x7b,%r15d
	{evex} sar	$0x7b,%r15w
	{evex} sar	$0x7b,%r8b
	{evex} sarb	$0x7b,0x123(%r8,%rax,4)
	{evex} sarw	$0x7b,0x123(%r8,%rax,4)
	{evex} sarl	$0x7b,0x123(%r8,%rax,4)
	{evex} sarq	$0x7b,0x123(%r8,%rax,4)
	{evex} sar	$1,%r15
	{evex} sar	$1,%r15d
	{evex} sar	$1,%r15w
	{evex} sar	$1,%r8b
	{evex} sarb	$1,0x123(%r8,%rax,4)
	{evex} sarw	$1,0x123(%r8,%rax,4)
	{evex} sarl	$1,0x123(%r8,%rax,4)
	{evex} sarq	$1,0x123(%r8,%rax,4)
	{evex} sar	%cl,%r15
	{evex} sar	%cl,%r15d
	{evex} sar	%cl,%r15w
	{evex} sar	%cl,%r8b
	{evex} sarb	%cl,0x123(%r8,%rax,4)
	{evex} sarw	%cl,0x123(%r8,%rax,4)
	{evex} sarl	%cl,0x123(%r8,%rax,4)
	{evex} sarq	%cl,0x123(%r8,%rax,4)
	{evex} sarx	%r15,%r15,%r11
	{evex} sarx	%r15,0x123(%r8,%rax,4),%r15
	{evex} sarx	%r15d,%edx,%r10d
	{evex} sarx	%r15d,0x123(%r8,%rax,4),%edx
	{evex} sbb	$0x7b,%r15
	{evex} sbb	$0x7b,%r15d
	{evex} sbb	$0x7b,%r15w
	{evex} sbb	$0x7b,%r8b
	{evex} sbbb	$0x7b,0x123(%r8,%rax,4)
	{evex} sbbw	$0x7b,0x123(%r8,%rax,4)
	{evex} sbbl	$0x7b,0x123(%r8,%rax,4)
	{evex} sbbq	$0x7b,0x123(%r8,%rax,4)
	{evex} sbb	%r15,%r15
	{evex} sbb	%r15,0x123(%r8,%rax,4)
	{evex} sbb	%r15d,%edx
	{evex} sbb	%r15d,0x123(%r8,%rax,4)
	{evex} sbb	%r15w,%ax
	{evex} sbb	%r15w,0x123(%r8,%rax,4)
	{evex} sbb	%r8b,%dl
	{evex} sbb	%r8b,0x123(%r8,%rax,4)
	{evex} sbb	0x123(%r8,%rax,4),%r15
	{evex} sbb	0x123(%r8,%rax,4),%r15d
	{evex} sbb	0x123(%r8,%rax,4),%r15w
	{evex} sbb	0x123(%r8,%rax,4),%r8b
	{evex} shl	$0x7b,%r15
	{evex} shl	$0x7b,%r15d
	{evex} shl	$0x7b,%r15w
	{evex} shl	$0x7b,%r8b
	{evex} shlb	$0x7b,0x123(%r8,%rax,4)
	{evex} shlw	$0x7b,0x123(%r8,%rax,4)
	{evex} shll	$0x7b,0x123(%r8,%rax,4)
	{evex} shlq	$0x7b,0x123(%r8,%rax,4)
	{evex} shl	$1,%r15
	{evex} shl	$1,%r15d
	{evex} shl	$1,%r15w
	{evex} shl	$1,%r8b
	{evex} shlb	$1,0x123(%r8,%rax,4)
	{evex} shlw	$1,0x123(%r8,%rax,4)
	{evex} shll	$1,0x123(%r8,%rax,4)
	{evex} shlq	$1,0x123(%r8,%rax,4)
	{evex} shl	%cl,%r15
	{evex} shl	%cl,%r15d
	{evex} shl	%cl,%r15w
	{evex} shl	%cl,%r8b
	{evex} shlb	%cl,0x123(%r8,%rax,4)
	{evex} shlw	%cl,0x123(%r8,%rax,4)
	{evex} shll	%cl,0x123(%r8,%rax,4)
	{evex} shlq	%cl,0x123(%r8,%rax,4)
	{evex} shld	$0x7b,%r15,%r15
	{evex} shld	$0x7b,%r15,0x123(%r8,%rax,4)
	{evex} shld	$0x7b,%r15d,%edx
	{evex} shld	$0x7b,%r15d,0x123(%r8,%rax,4)
	{evex} shld	$0x7b,%r15w,%ax
	{evex} shld	$0x7b,%r15w,0x123(%r8,%rax,4)
	{evex} shld	%cl,%r15,%r15
	{evex} shld	%cl,%r15,0x123(%r8,%rax,4)
	{evex} shld	%cl,%r15d,%edx
	{evex} shld	%cl,%r15d,0x123(%r8,%rax,4)
	{evex} shld	%cl,%r15w,%ax
	{evex} shld	%cl,%r15w,0x123(%r8,%rax,4)
	{evex} shlx	%r15,%r15,%r11
	{evex} shlx	%r15,0x123(%r8,%rax,4),%r15
	{evex} shlx	%r15d,%edx,%r10d
	{evex} shlx	%r15d,0x123(%r8,%rax,4),%edx
	{evex} shr	$0x7b,%r15
	{evex} shr	$0x7b,%r15d
	{evex} shr	$0x7b,%r15w
	{evex} shr	$0x7b,%r8b
	{evex} shrb	$0x7b,0x123(%r8,%rax,4)
	{evex} shrw	$0x7b,0x123(%r8,%rax,4)
	{evex} shrl	$0x7b,0x123(%r8,%rax,4)
	{evex} shrq	$0x7b,0x123(%r8,%rax,4)
	{evex} shr	$1,%r15
	{evex} shr	$1,%r15d
	{evex} shr	$1,%r15w
	{evex} shr	$1,%r8b
	{evex} shrb	$1,0x123(%r8,%rax,4)
	{evex} shrw	$1,0x123(%r8,%rax,4)
	{evex} shrl	$1,0x123(%r8,%rax,4)
	{evex} shrq	$1,0x123(%r8,%rax,4)
	{evex} shr	%cl,%r15
	{evex} shr	%cl,%r15d
	{evex} shr	%cl,%r15w
	{evex} shr	%cl,%r8b
	{evex} shrb	%cl,0x123(%r8,%rax,4)
	{evex} shrw	%cl,0x123(%r8,%rax,4)
	{evex} shrl	%cl,0x123(%r8,%rax,4)
	{evex} shrq	%cl,0x123(%r8,%rax,4)
	{evex} shrd	$0x7b,%r15,%r15
	{evex} shrd	$0x7b,%r15,0x123(%r8,%rax,4)
	{evex} shrd	$0x7b,%r15d,%edx
	{evex} shrd	$0x7b,%r15d,0x123(%r8,%rax,4)
	{evex} shrd	$0x7b,%r15w,%ax
	{evex} shrd	$0x7b,%r15w,0x123(%r8,%rax,4)
	{evex} shrd	%cl,%r15,%r15
	{evex} shrd	%cl,%r15,0x123(%r8,%rax,4)
	{evex} shrd	%cl,%r15d,%edx
	{evex} shrd	%cl,%r15d,0x123(%r8,%rax,4)
	{evex} shrd	%cl,%r15w,%ax
	{evex} shrd	%cl,%r15w,0x123(%r8,%rax,4)
	{evex} shrx	%r15,%r15,%r11
	{evex} shrx	%r15,0x123(%r8,%rax,4),%r15
	{evex} shrx	%r15d,%edx,%r10d
	{evex} shrx	%r15d,0x123(%r8,%rax,4),%edx
	{evex} sub	$0x7b,%r15
	{evex} sub	$0x7b,%r15d
	{evex} sub	$0x7b,%r15w
	{evex} sub	$0x7b,%r8b
	{evex} subb	$0x7b,0x123(%r8,%rax,4)
	{evex} subw	$0x7b,0x123(%r8,%rax,4)
	{evex} subl	$0x7b,0x123(%r8,%rax,4)
	{evex} subq	$0x7b,0x123(%r8,%rax,4)
	{evex} sub	%r15,%r15
	{evex} sub	%r15,0x123(%r8,%rax,4)
	{evex} sub	%r15d,%edx
	{evex} sub	%r15d,0x123(%r8,%rax,4)
	{evex} sub	%r15w,%ax
	{evex} sub	%r15w,0x123(%r8,%rax,4)
	{evex} sub	%r8b,%dl
	{evex} sub	%r8b,0x123(%r8,%rax,4)
	{evex} sub	0x123(%r8,%rax,4),%r15
	{evex} sub	0x123(%r8,%rax,4),%r15d
	{evex} sub	0x123(%r8,%rax,4),%r15w
	{evex} sub	0x123(%r8,%rax,4),%r8b
	{evex} tzcnt	%r15,%r15
	{evex} tzcnt	%r15d,%edx
	{evex} tzcnt	%r15w,%ax
	{evex} tzcnt	0x123(%r8,%rax,4),%r15
	{evex} tzcnt	0x123(%r8,%rax,4),%r15d
	{evex} tzcnt	0x123(%r8,%rax,4),%r15w
	{evex} wrssd	%r15d,0x123(%r8,%rax,4)
	{evex} wrssq	%r15,0x123(%r8,%rax,4)
	{evex} wrussd	%r15d,0x123(%r8,%rax,4)
	{evex} wrussq	%r15,0x123(%r8,%rax,4)
	{evex} xor	$0x7b,%r15
	{evex} xor	$0x7b,%r15d
	{evex} xor	$0x7b,%r15w
	{evex} xor	$0x7b,%r8b
	{evex} xorb	$0x7b,0x123(%r8,%rax,4)
	{evex} xorw	$0x7b,0x123(%r8,%rax,4)
	{evex} xorl	$0x7b,0x123(%r8,%rax,4)
	{evex} xorq	$0x7b,0x123(%r8,%rax,4)
	{evex} xor	%r15,%r15
	{evex} xor	%r15,0x123(%r8,%rax,4)
	{evex} xor	%r15d,%edx
	{evex} xor	%r15d,0x123(%r8,%rax,4)
	{evex} xor	%r15w,%ax
	{evex} xor	%r15w,0x123(%r8,%rax,4)
	{evex} xor	%r8b,%dl
	{evex} xor	%r8b,0x123(%r8,%rax,4)
	{evex} xor	0x123(%r8,%rax,4),%r15
	{evex} xor	0x123(%r8,%rax,4),%r15d
	{evex} xor	0x123(%r8,%rax,4),%r15w
	{evex} xor	0x123(%r8,%rax,4),%r8b
